941. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده : Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
942. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده : Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
943. Process algebra for parallel and distributed processing
پدیدآورنده : / edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Formal methods (Computer science)
رده :
QA76
.
58
.
P7664
2009
944. Process algebra for parallel and distributed processing
پدیدآورنده : edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing,، Formal methods )Computer science(
رده :
QA
76
.
58
.
P75
945. Process algebra for parallel and distributed processing
پدیدآورنده : edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,Distributed processing ، Electronic data processing,، Formal methods )Computer science(
رده :
QA
76
.
58
.
P7664
2009
946. Process algebra for parallel and distributed processing
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Parallel processing (Electronic computers),Electronic data processing -- Distributed processing,Formal methods (Computer science)
رده :
004
.
0151
P963
947. Processing Symposium : Sponsored by IEEE Computer Society
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
I56
948. Professional CUDA C programming /
پدیدآورنده : John Cheng, Max Grossman, Ty McKercher
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture,Multiprocessors,Parallel processing (Electronic computers)
رده :
QA76
.
9
.
A73
949. Professional CUDA C programming /
پدیدآورنده : John Cheng, Max Grossman, Ty McKercher
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture,Multiprocessors,Parallel processing (Electronic computers)
رده :
QA76
.
9
.
A73
950. Programming Environments for Parallel computing : Proceedings of the IFIP WG 10.3 workshop on programming Environments for parallel computing Edinburgh , Scotland 1992 , 6 _ 8 April ,1992
پدیدآورنده : Edited by Nigel Topham , Roland Ibbett , Thmas Bemmerl
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع : Parallel programming ( computer science ) _ congresses,Parallel Processing ( Electronic computers ) _ Congresses
رده :
QA
76
.
642
.
I35
1992
951. Programming and customizing the multicore propeller microcontroller
پدیدآورنده : Parallax Inc
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Microcontrollers, Programming,Automatic control,Parallel processing (Electronic computers),Programmable controllers
رده :
TJ
,
223
,.
P76
,
P78
,
2010
952. Programming and customizing the multicore propeller microcontroller: the official guide
پدیدآورنده : Parallax Inc
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Microcontrollers,، Automatic control,، Parallel processing )Electronic computers(,، Programmable controllers
رده :
TJ
223
.
P76
P78
2010
953. Programming and customizing the multicore Propeller microcontroller: the official guide
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programmable controllers,، Microcontrollers-- Programming,، Automatic control,، Parallel processing )Electronic computers(
رده :
TJ
223
.
P76
.
P78
2010
954. Programming environments for massively parallel distributed systems : working conference of the IFIP WG10.3, April 25-29, 1994
پدیدآورنده : edited by K.M. Decker, R.M. Rehmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
58
.
P763
955. Programming massively parallel processors :
پدیدآورنده : David B. Kirk and Wen-mei W. Hwu
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture,Multiprocessors,Parallel processing (Electronic computers),Parallel programming (Computer science)
رده :
QA76
.
642
.
K57
2010
956. Programming massively parallel processors :
پدیدآورنده : David B. Kirk and Wen-mei W. Hwu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Multiprocessors.,Parallel processing (Electronic computers),Parallel programming (Computer science),Mehrprozessorsystem,Multiprocessors.,Parallel processing (Electronic computers),Parallel programming (Computer science),Parallelverarbeitung,Programmierung
رده :
QA76
.
642
957. Programming the Propeller with Spin
پدیدآورنده : Harprit Singh Sandhu
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Programmable controllers,Microcontrollers- Programming,Spin (Computer program language),Parallel processing (Electronic computers)
رده :
TJ
,
223
,.
P76
,
S373
,
2010
958. Programming the Propeller with Spin :
پدیدآورنده : Harprit Singh Sandhu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Microcontrollers-- Programming.,Parallel processing (Electronic computers),Programmable controllers.,Spin (Computer program language),Microcontrollers-- Programming.,Mikrocontroller-- Parallelverarbeitung.,Mikrocontroller-- Programmierung.,Parallel processing (Electronic computers),Parallelverarbeitung-- Mikrocontroller.,Programmable controllers.,Spin (Computer program language)
رده :
TJ223
.
P76
S373
2010
959. Protocols by invariants
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing ; Computer network protocols ;
960. Query processing in parallel relational database systems
پدیدآورنده : ]edited by[ Hongjun Lu, Beng-Chin Ooi, Kian-Lee Tan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Relational databases, Parallel processing )Electronic computers(, Database searching
رده :
QA
76
.
9
.
D3
Q475
1994